Assert (({-}$n$) $\ast$ ({-}$a$)) = (({-}$n$) $\ast$ ({-}$b$))